<html>
<head><meta charset="utf-8"><title>impl update · t-lang/project-never-type · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/259160-t-lang/project-never-type/index.html">t-lang/project-never-type</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/259160-t-lang/project-never-type/topic/impl.20update.html">impl update</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="244977239"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/259160-t-lang/project-never-type/topic/impl%20update/near/244977239" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/259160-t-lang/project-never-type/topic/impl.20update.html#244977239">(Jul 05 2021 at 21:57)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> fyi, I reworked the impl to no longer rely on pending obligations quite as much -- maybe a bit more to go. The few cases I tried from crater seem to work now, so I've enqueued a try build to re-run crater. It might be good if you want to take a quick look at the impl and see if there's terrible things I've done (in particular, the coercion-related code is a definite mess...)</p>
<p><a href="https://github.com/rust-lang/rust/pull/84573">https://github.com/rust-lang/rust/pull/84573</a> is the PR still, mostly the last 2 commits are relevant -- those are the new impl rework.</p>



<a name="244977295"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/259160-t-lang/project-never-type/topic/impl%20update/near/244977295" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/259160-t-lang/project-never-type/topic/impl.20update.html#244977295">(Jul 05 2021 at 21:58)</a>:</h4>
<p>(Obviously no rush. Happy to discuss at our next 1:1 or otherwise).</p>



<a name="245020335"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/259160-t-lang/project-never-type/topic/impl%20update/near/245020335" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/259160-t-lang/project-never-type/topic/impl.20update.html#245020335">(Jul 06 2021 at 10:33)</a>:</h4>
<p><span class="user-mention" data-user-id="116122">@simulacrum</span> ah, cool</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>